sentential formula

[数] 命题公式